html { 
    padding:0px;
    margin:0px;
}

body {
    background-color: #fff;
    font-family: Verdana, Arial, SunSans-Regular, Sans-Serif;
    color: #000;  
    padding:0px;
    margin:0px;
    font-size: small;
}

p, h2, pre {
    margin: 0px; 
    padding-top: 5px;
    padding-bottom: 5px;
    /*padding-left: 1ex;*/
    /*padding: 5px 20px 5px 20px; */
}

p.rm {
    padding-top: 0px;
    padding-bottom: 0px; 
}

a { 
    color: #0000CC;
    /*font-size: smaller;*/
    background-color:transparent;
    text-decoration: none; 
}

#content a:hover {
    text-decoration: underline;
}

.source { 
    border-top: 1px solid #DDDDDD;
    border-bottom: 1px solid #DDDDDD;
    background:#eee;
    font-family: Courier, "MS Courier New", Prestige, Everson Monocourrier, monospace;
    padding-bottom: 0.5ex;
    padding-top: 0.5ex;
    padding-left: 1ex;
    white-space: pre;
}

pre { 
    background-color:transparent;
    font-family: Courier, Monaco, Monospace;
}

.alignright {
    margin-top: 0; 
    text-align: right;
    font-size: 10px;
}

h1, h2, h3, h4 {
    color: #333;
}

h2 {
    padding-top:10px; 
    background-color: transparent;
    font-weight: 900;
    font-size: x-large;
}

h3 {
    padding-top:10px; 
    background-color: transparent;
    font-weight: normal;
    font-size: large;
}

h4 {
    padding-top:5px; 
    background-color: transparent;	
    font-weight: large;
    font-size: normal;
}

.footer {
    text-align: right;
    color: #564b47;
    background-color: #fff;
    padding:0px;
    border-top:  1px solid #CCCCCC;
    margin-top: 3ex;
    font-size: smaller;
}


strong { 
    /*font-size: 13px;*/
    font-weight: bold;
}

/*  positioning-layers static and absolute */

#breadcrumbs {
    padding: 3px 10px 3px 10px;
    margin: 0px 4px 0px 4px;
    font-size: small;
    border: 1px solid #CCCCCC;
    /*border-bottom: 1px solid #aaa;
/* background-color: #ccc; lime;
border-color: #663300;*/
    background-color: #ffd0a0;
    /*max-width: 77em;*/
}

#left {
    position: absolute;
    left: 0px;
    width: 15em;
    color: #564b47;
    margin: 4px 0px 0px 4px; 
    padding: 0px;
    /* background-color: #ffffff;    */
    border: 1px solid #cccccc;
    /*  background-color: #ffcc99; */
    background-color: #ffffff;
    font-size: 80%;
}

#left a, #right a {
    display: block; 
    width: 95.5%; 
    margin: 0px; 
    padding: 2px; 
    border: solid 1px #FFFFFF; 
    color: #0000CC; 
    text-decoration: none;
}

p.menu_header {
    margin: 0px; 
    padding: 2px;
    font-weight: normal; 
    background-color: #ffd0a0; 
    border-top: solid 1px #CCCCCC;
    border-bottom: solid 1px #CCCCCC;
}

#left a:hover, #right a:hover {
    border: solid 1px #FFFFFF; 
    background-color: #3333CC; 
    color: #ffffff;
}

#content {
    margin: 0px 17em 0px 17em;
    padding: 0px;
    background-color: #ffffff;  
}

#right {
    position: absolute;
    right: 0px;        
    width: 14em;
    color: #564b47;
    margin: 4px 4px 0px 0px; 
    padding: 0px;
    background-color: #ffffff;    
    border: 1px solid #cccccc;
    font-size: 80%;
}

#left img {
    display: block;
    margin: 20px 0 20px 17px;
    border: none;
    width: 90px;
    height: 30px;
}

#content img {
    border:none;
    margin-left: auto;
    margin-right: auto;
    display: block;
}

table.bodyTable {
    padding: 0px;
    width: 100%;
    margin-left: -2px;
    margin-right: -2px;
}

table.bodyTable th {
    color: white;
    background-color: #bbb;
    font-weight: bold;
}


table.bodyTable tr.a {
    background-color: #ddd;
}

table.bodyTable tr.b {
    background-color: #eee;
}

.author {
    text-align: left;
    font-weight: bold;
}

.definition {
    padding-left: 5px;
    padding-right: 5px;
    margin: 5px 50px 5px 50px;
    text-align: justify;
    background-color: #E6E64C;
}

.deftitle {
    font-weight: bold;
}

.big {
    font-size: 130%;
}

.green {
    color: green;
}
.blue {
    color: blue;	
}

.redBold {
    color: red;
    font-weight: bold;	
}
.greenBold {
    color: green;	
    font-weight: bold;	
}

code {
    font-family: Courier, monospace;
}


.option {
    border: 1px solid black;
    font-family: Arial, sans-serif;	
}

.highlight {
    width: 300px;
    float: right;	
    display: inline;
    font-weight: bolder;
    border:1px solid #000;
    background:#FFCC99;	
    padding-top: 0px;
    padding-left: 1ex;
    padding-right: 1ex;
    margin-left: 3em;
    margin-right: 3em;
}

table.bodyTable tr.a {
    background-color: #ddd;
}

table.bodyTable tr.b {
    background-color: #eee;
}
table.bodyTable tr.alt {
    background-color: #eee;
}